Σ   _______________________________________________________
                       Nagel ( 1 ;  0)

Inkreiszentrum = Intersect(xAxis, yAxis)
B_1 = Point(xAxis)
C_1 = Point(yAxis)
d1, c, a, b = Polygon(Inkreiszentrum, B_1, C_1)
D = Midpoint(a)
F = Midpoint(c)
f, g = AngularBisector(b, a)
h, i = AngularBisector(a, c)
E = Intersect(f, h)
M_i = Intersect(i, g)
H = Intersect(g, h)
I, J = Intersect(i, d1)
K = Intersect(i, f)
j = OrthogonalLine(E, a)
k = OrthogonalLine(H, c)
l = OrthogonalLine(K, b)
L = Intersect(l, b)
M = Intersect(k, c)
N = Intersect(l, j)
O = Intersect(a, j)
m = Segment(L, B_1)
p = Segment(C_1, M)
d2, e, k_1, h_1 = Polygon(K, H, E)
n = Segment(Inkreiszentrum, O)
Nagelpunkt = Intersect(p, n)
Inkreismitte__inO = Vector(M_i, Inkreiszentrum)
A = Translate(Inkreiszentrum, Inkreismitte__inO)
B = Translate(B_1, Inkreismitte__inO)
C = Translate(C_1, Inkreismitte__inO)
d1', c', a', b' = Polygon(A, B, C)
K' = Translate(K, Inkreismitte__inO)
H' = Translate(H, Inkreismitte__inO)
E' = Translate(E, Inkreismitte__inO)
d2', e', k', h' = Polygon(K', H', E')
Nagelpunkt' = Translate(Nagelpunkt, Vector[(0.024034932478970372, -0.012017466239485075)])
C'_1 = Translate(C_1, Inkreismitte__inO)
M' = Translate(M, Inkreismitte__inO)
p' = Segment(C'_1, M')
L' = Translate(L, Inkreismitte__inO)
B'_1 = Translate(B_1, Inkreismitte__inO)
m' = Segment(L', B'_1)
O'_1 = Translate(O, Inkreismitte__inO)
u = Vector(Inkreiszentrum, A)
v = Vector(Inkreiszentrum, B)
w = Vector(Inkreiszentrum, C)
A' = Translate(A, v)
d = Vector(A, A')
NAGELpunkt = Translate(A', w)
q = Vector(A', NAGELpunkt)
Inkreiszentrum' = Translate(Inkreiszentrum, Inkreismitte__inO)
O' = Translate(O, Inkreismitte__inO)
n' = Segment(Inkreiszentrum', O')
Text1 = LaTeX(A, true, true)
Text2 = LaTeX(B, true, true)
Text3 = LaTeX(C, true, true)
r = Circle(K', L')
s = Circle(H', M')
t = Circle(E', O'_1)